Crafting interest

Crafting, Crafting, Crafting - Extreme Programming in Classroom?

Extreme Programming (XP) shows several interesting approaches which are very attractive for education. It is centered around early and incremental creation of working software. In the following, the chances XP offers for class are shown – especially for use in a class project, but also for practical phases in all lessons where programming is useful. Finally several common problems which can occ...

Crafting a Knowledge Strategy

Telephone: (Australia) +61 3 8300 0747 email: Abstract Knowledge strategies are often inflexible and unable to cope with the emergent properties that characterise the complex and dynamic environments of the ‘knowledge age’. Knowledge strategy should encompass (i) actions that are intended to result in anticipated business outcomes; and (ii) actions that emerge as a resul...

Crafting a Proof Assistant

Proof assistants are complex applications whose development has never been properly systematized or documented. This work is a contribution in this direction, based on our experience with the development of Matita: a new interactive theorem prover based—as Coq—on the Calculus of Inductive Constructions (CIC). In particular, we analyze its architecture focusing on the dependencies of its compone...

Story telling: crafting identities

Career guidance clients are seeking to craft new identities that better position them in their careers. The focus of the present article is on narrative career counselling's potential contribution in providing a meaningful and useful experience for career guidance clients. To illustrate the potential of narrative career counselling, the story telling approach is offered as an example to illustr...

Re-crafting a Public Domain